Strictness optimization for graph reduction machines (why id might not be strict)
نویسندگان
چکیده
منابع مشابه
Why shocking might be not shocking enough.
Sudden cardiac death remains the single most frequent cause of mortality in the industrialized world [1]. Indeed, approximately every 100 s somebody dies suddenly in the United States alone [2]. Most frequently, ventricular fibrillation (VF) associated with acute myocardial ischemia or infarction is the cause of circulatory collapse [1]. When untreated, VF is lethal within minutes because the a...
متن کاملWhy Machines Cannot be
Mental processes are abstracted from a subset of the physical universe ; these, in turn, lead to the world of ideas. Although these ideas include quantum logic, no credible way has yet been found that constructs machines which use superimposed possibilities in the style of quantum logic, more general in computing power to machines based on classical logic. Machine theories are based exclusively...
متن کاملWhy scholarly publishing might be a bubble
Scholarly communication began as an interpersonal exchange of findings between fellow researchers (1). In time, the need arose for a structured, comprehensive, and pragmatic means of communicating scientific knowledge in the form of scholarly journals. Scientists did research for the sake of progress, and journals strived to catalyze the dissemination of research as widely as possible. In the a...
متن کاملWhat Might Cognition Be, If Not Computation?
structure of the target phenomenon, for various reasons researchers in this approach standardly provide a concrete model: an actual computer programmed so that (hopefully) it realizes the same (or a relevantly similar) abstract computational system as is realized by the cognitive systems under study. If the concrete model appears able to perform actual cognitive tasks in much the way people do,...
متن کاملWhen Left Might Not Be Right
Copyright © 2010-2011, Usability Professionals’ Association and the authors. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or republish, to pos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1994
ISSN: 0164-0925,1558-4593
DOI: 10.1145/186025.186040